COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(declare 
C00007 00003	(include "timer.lsp")
C00010 00004	(timit)
C00011 ENDMK
C⊗;
(declare 
 (fixnum (tak fixnum fixnum fixnum))
 (fixnum (trtak fixnum fixnum fixnum))
 (fixnum (btak fixnum fixnum fixnum))
 (fixnum (btak2 fixnum fixnum fixnum)))

(defun tak (x y z)
       (cond ((not (< y x))	;x≤y
	      z)
	     (t (tak (tak (1- x) y z)
		     (tak (1- y) z x)
		     (tak (1- z) x y))))) 

(defun tak-dcl (x y z)
       (cond ((not (< y x))	;x≤y
	      z)
	     (t (tak-dcl (tak-dcl (1- x) y z)
		     (tak-dcl (1- y) z x)
		     (tak-dcl (1- z) x y))))) 

(defun trtak (x y z)
       (prog ()
	     tak
	     (cond ((not (< y x))
		    (return z))
		   (t (let ((a (tak (1- x) y z))
			    (b (tak (1- y) z x)))
			   (setq z (tak (1- z) x y))
			   (setq x a y b)(go tak))))))

(defun btak (x y z)
 (prog ()
       (cond ((not (< y x))
	      (return z)))
       tak2
       (let ((a (let ((c (1- x)))
		     (cond ((not (< y c)) z)
			   (t (btak2 c y z)))))
	     (b (let ((c (1- y)))
		     (cond ((not (< z c)) x)
			   (t (btak2 c z x)))))
	     (c (let ((c (1- z)))
		     (cond ((not (< x c)) y)
			   (t (btak2 c x y))))))
	    (cond ((not (< b a)) (return c))
		  (t (setq x a
			   y b
			   z c)
		     (go tak2))))))

(defun btak2 (x y z)
 (prog ()
       tak2
       (let ((a (let ((c (1- x)))
		     (cond ((not (< y c)) z)
			   (t (btak2 c y z)))))
	     (b (let ((c (1- y)))
		     (cond ((not (< z c)) x)
			   (t (btak2 c z x)))))
	     (c (let ((c (1- z)))
		     (cond ((not (< x c)) y)
			   (t (btak2 c x y))))))
	    (cond ((not (< b a)) (return c))
		  (t (setq x a
			   y b
			   z c)
		     (go tak2))))))

(defun btak-dcl (x y z)
 (prog ()
       (cond ((not (< y x))
	      (return z)))
       tak-dcl2
       (let ((a (let ((c (1- x)))
		     (cond ((not (< y c)) z)
			   (t (btak-dcl2 c y z)))))
	     (b (let ((c (1- y)))
		     (cond ((not (< z c)) x)
			   (t (btak-dcl2 c z x)))))
	     (c (let ((c (1- z)))
		     (cond ((not (< x c)) y)
			   (t (btak-dcl2 c x y))))))
	    (cond ((not (< b a)) (return c))
		  (t (setq x a
			   y b
			   z c)
		     (go tak-dcl2))))))

(defun btak-dcl2 (x y z)
 (prog ()
       tak-dcl2
       (let ((a (let ((c (1- x)))
		     (cond ((not (< y c)) z)
			   (t (btak-dcl2 c y z)))))
	     (b (let ((c (1- y)))
		     (cond ((not (< z c)) x)
			   (t (btak-dcl2 c z x)))))
	     (c (let ((c (1- z)))
		     (cond ((not (< x c)) y)
			   (t (btak-dcl2 c x y))))))
	    (cond ((not (< b a)) (return c))
		  (t (setq x a
			   y b
			   z c)
		     (go tak-dcl2))))))

(include "timer.lsp")

(timer trtimit 
	(trtak 18. 12. 6.))

(timer timit 
	(tak 18. 12. 6.))

(timer timit-dcl
	(tak-dcl 18. 12. 6.))

(timer btimit
	(btak 18. 12. 6.))

(timer btimit-dcl
	(btak-dcl 18. 12. 6.))

(timer nc-timit (tak 10018. 10012. 10006.))
;(timit)
;(RUNTIME 0.564) 
;(GCTIME 0.0) 
;T 
;(RUNTIME 0.564) 
;(GCTIME 0.0) 
;T 
;(trtimit)
;(RUNTIME 0.565) 
;(GCTIME 0.0) 
;T 
;(RUNTIME 0.565) 
;(GCTIME 0.0) 
;T 
;(btimit)
;(RUNTIME 0.616) 
;(GCTIME 0.0) 
;T 
;(RUNTIME 0.617) 
;(GCTIME 0.0) 
;T 
;(timit-dcl)
;(RUNTIME 0.832) 
;(GCTIME 0.0) 
;T 
;(RUNTIME 0.832) 
;(GCTIME 0.0) 
;T 
;(btimit-dcl)
;(RUNTIME 0.795) 
;(GCTIME 0.0) 
;T 
;(RUNTIME 0.798) 
;(GCTIME 0.0) 
;T